Every hendue comes from a local equivalence relation
نویسندگان
چکیده
Kock, A. and I. Moerdijk, Every &endue comes from a local equivalence relation, Journal of Pure and Applied Algebra 82 (1992) 155-174. We first prove that, under suitable connectedness assumptions, the equivariant sheaves for a local equivalence relation on a space (or a locale) form an &endue topos. Our main result is that conversely, every &endue can be obtained in this way.
منابع مشابه
Dynamic equivalence relation on the fuzzy measure algebras
The main goal of the present paper is to extend classical results from the measure theory and dynamical systems to the fuzzy subset setting. In this paper, the notion of dynamic equivalence relation is introduced and then it is proved that this relation is an equivalence relation. Also, a new metric on the collection of all equivalence classes is introduced and it is proved that this metric is...
متن کاملTitles and Abstracts of Talks Title: Derivations on Von Neumann Algebras and L 2 -cohomology Title: Maximal Amenable Von Neumann Subalgebras Arising from Amenable Subgroups
Consider a maximal amenable subgroup H in a discrete countable group G. In this talk I will give a general condition implying that the von Neumann subalgebra LH is still maximal amenable inside LG. The condition is expressed in terms of H-invariant measures on some compact G-space. As an example I will show that the subgroup of upper triangular matrices inside SL(n,Z) gives rise to a maximal am...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملON THE COMPATIBILITY OF A CRISP RELATION WITH A FUZZY EQUIVALENCE RELATION
In a recent paper, De Baets et al. have characterized the fuzzytolerance and fuzzy equivalence relations that a given strict order relation iscompatible with. In this paper, we generalize this characterization by consideringan arbitrary (crisp) relation instead of a strict order relation, while payingattention to the particular cases of a reflexive or irreflexive relation. The reasoninglargely ...
متن کاملFUZZY SUBGROUPS AND CERTAIN EQUIVALENCE RELATIONS
In this paper, we study an equivalence relation on the set of fuzzysubgroups of an arbitrary group G and give four equivalent conditions each ofwhich characterizes this relation. We demonstrate that with this equivalencerelation each equivalence class constitutes a lattice under the ordering of fuzzy setinclusion. Moreover, we study the behavior of these equivalence classes under theaction of a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017